Dependence of variables construed as an atomic formula
نویسندگان
چکیده
Wedefine a logicD capable of expressing dependence of a variable on designated variables only. Thus D has similar goals to the Henkin quantifiers of [4] and the independence friendly logic of [6] that it much resembles. The logic D achieves these goals by realizing the desired dependence declarations of variables on the level of atomic formulas. By [3] and [17], ability to limit dependence relations between variables leads to existential second order expressive power. OurD avoids somedifficulties arising in the original independence friendly logic from coupling the dependence declarations with existential quantifiers. As is the case with independence friendly logic, truth ofD is definable insideD. We give such a definition forD in the spirit of [11,2] and [1]. © 2009 Elsevier B.V. All rights reserved.
منابع مشابه
Dependence and
We introduce an atomic formula ~y ⊥~x ~z intuitively saying that the variables ~y are independent from the variables ~z if the variables ~x are kept constant. We contrast this with dependence logic D based on the atomic formula =(~x, ~y), actually equivalent to ~y ⊥~x ~y, saying that the variables ~y are totally determined by the variables ~x. We show that ~y ⊥~x ~z gives rise to a natural logi...
متن کاملDependence and Independence
We introduce an atomic formula y ⊥ x z intuitively saying that the variables y are independent from the variables z if the variables x are kept constant. We contrast this with dependence logic D based on the atomic formula =( x, y), actually equivalent to y ⊥ x y, saying that the variables y are totally determined by the variables x. We show that y ⊥ x z gives rise to a natural logic capable of...
متن کاملUvA - DARE ( Digital Academic Repository ) Dependence and Independence
We introduce an atomic formula ~y ⊥~x ~z intuitively saying that the variables ~y are independent from the variables ~z if the variables ~x are kept constant. We contrast this with dependence logic D [5] based on the atomic formula =(~x, ~y), actually a special case of ~y ⊥~x ~z, saying that the variables ~y are totally determined by the variables ~x. We show that ~y ⊥~x ~z gives rise to a natu...
متن کاملUvA - DARE ( Digital Academic Repository ) Dependence
We introduce an atomic formula ~y ⊥~x ~z intuitively saying that the variables ~y are independent from the variables ~z if the variables ~x are kept constant. We contrast this with dependence logic D [5] based on the atomic formula =(~x, ~y), actually a special case of ~y ⊥~x ~z, saying that the variables ~y are totally determined by the variables ~x. We show that ~y ⊥~x ~z gives rise to a natu...
متن کاملUvA - DARE ( Digital Academic Repository ) Dependence and
We introduce an atomic formula ~y ⊥~x ~z intuitively saying that the variables ~y are independent from the variables ~z if the variables ~x are kept constant. We contrast this with dependence logic D [5] based on the atomic formula =(~x, ~y), actually a special case of ~y ⊥~x ~z, saying that the variables ~y are totally determined by the variables ~x. We show that ~y ⊥~x ~z gives rise to a natu...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Ann. Pure Appl. Logic
دوره 161 شماره
صفحات -
تاریخ انتشار 2010